Nuprl Definition : es-hist 11,40

es-hist{i:l}(es;e1;e2) == map((e.es-info(es;e)); [e1e2]) 
latex



clarification:

es-hist{i:l}(ese1e2) == map((e.es-info(es;e)); es-interval{i:l}(ese1e2)) 
latex


Definitionsmap(fas), es-info(es;e), [ee']
FDL editor aliaseses-hist

origin